﻿// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.

using System.Runtime.CompilerServices;

// Libraries
[assembly: InternalsVisibleTo("Microsoft.Coyote.Test,PublicKey=" +
    "0024000004800000940000000602000000240000525341310004000001000100d7971281941569" +
    "53fd8af100ac5ecaf1d96fab578562b91133663d6ccbf0b313d037a830a20d7af1ce02a6641d71" +
    "d7bc9fd67a08d3fa122120a469158da22a652af4508571ac9b16c6a05d2b3b6d7004ac76be85c3" +
    "ca3d55f6ae823cd287a2810243f2bd6be5f4ba7b016c80da954371e591b10c97b0938f721c7149" +
    "3bc97f9e")]

// Tools
[assembly: InternalsVisibleTo("Coyote,PublicKey=" +
    "0024000004800000940000000602000000240000525341310004000001000100d7971281941569" +
    "53fd8af100ac5ecaf1d96fab578562b91133663d6ccbf0b313d037a830a20d7af1ce02a6641d71" +
    "d7bc9fd67a08d3fa122120a469158da22a652af4508571ac9b16c6a05d2b3b6d7004ac76be85c3" +
    "ca3d55f6ae823cd287a2810243f2bd6be5f4ba7b016c80da954371e591b10c97b0938f721c7149" +
    "3bc97f9e")]
[assembly: InternalsVisibleTo("CoyoteCoverageReportMerger,PublicKey=" +
    "0024000004800000940000000602000000240000525341310004000001000100d7971281941569" +
    "53fd8af100ac5ecaf1d96fab578562b91133663d6ccbf0b313d037a830a20d7af1ce02a6641d71" +
    "d7bc9fd67a08d3fa122120a469158da22a652af4508571ac9b16c6a05d2b3b6d7004ac76be85c3" +
    "ca3d55f6ae823cd287a2810243f2bd6be5f4ba7b016c80da954371e591b10c97b0938f721c7149" +
    "3bc97f9e")]

// Tests
[assembly: InternalsVisibleTo("Microsoft.Coyote.Tests.Common,PublicKey=" +
    "0024000004800000940000000602000000240000525341310004000001000100d7971281941569" +
    "53fd8af100ac5ecaf1d96fab578562b91133663d6ccbf0b313d037a830a20d7af1ce02a6641d71" +
    "d7bc9fd67a08d3fa122120a469158da22a652af4508571ac9b16c6a05d2b3b6d7004ac76be85c3" +
    "ca3d55f6ae823cd287a2810243f2bd6be5f4ba7b016c80da954371e591b10c97b0938f721c7149" +
    "3bc97f9e")]
[assembly: InternalsVisibleTo("Microsoft.Coyote.Tests.Runtime,PublicKey=" +
    "0024000004800000940000000602000000240000525341310004000001000100d7971281941569" +
    "53fd8af100ac5ecaf1d96fab578562b91133663d6ccbf0b313d037a830a20d7af1ce02a6641d71" +
    "d7bc9fd67a08d3fa122120a469158da22a652af4508571ac9b16c6a05d2b3b6d7004ac76be85c3" +
    "ca3d55f6ae823cd287a2810243f2bd6be5f4ba7b016c80da954371e591b10c97b0938f721c7149" +
    "3bc97f9e")]
[assembly: InternalsVisibleTo("Microsoft.Coyote.Tests.Rewriting,PublicKey=" +
    "0024000004800000940000000602000000240000525341310004000001000100d7971281941569" +
    "53fd8af100ac5ecaf1d96fab578562b91133663d6ccbf0b313d037a830a20d7af1ce02a6641d71" +
    "d7bc9fd67a08d3fa122120a469158da22a652af4508571ac9b16c6a05d2b3b6d7004ac76be85c3" +
    "ca3d55f6ae823cd287a2810243f2bd6be5f4ba7b016c80da954371e591b10c97b0938f721c7149" +
    "3bc97f9e")]
[assembly: InternalsVisibleTo("Microsoft.Coyote.Tests.BugFinding,PublicKey=" +
    "0024000004800000940000000602000000240000525341310004000001000100d7971281941569" +
    "53fd8af100ac5ecaf1d96fab578562b91133663d6ccbf0b313d037a830a20d7af1ce02a6641d71" +
    "d7bc9fd67a08d3fa122120a469158da22a652af4508571ac9b16c6a05d2b3b6d7004ac76be85c3" +
    "ca3d55f6ae823cd287a2810243f2bd6be5f4ba7b016c80da954371e591b10c97b0938f721c7149" +
    "3bc97f9e")]
[assembly: InternalsVisibleTo("Microsoft.Coyote.Tests.Actors,PublicKey=" +
    "0024000004800000940000000602000000240000525341310004000001000100d7971281941569" +
    "53fd8af100ac5ecaf1d96fab578562b91133663d6ccbf0b313d037a830a20d7af1ce02a6641d71" +
    "d7bc9fd67a08d3fa122120a469158da22a652af4508571ac9b16c6a05d2b3b6d7004ac76be85c3" +
    "ca3d55f6ae823cd287a2810243f2bd6be5f4ba7b016c80da954371e591b10c97b0938f721c7149" +
    "3bc97f9e")]
[assembly: InternalsVisibleTo("Microsoft.Coyote.Tests.Actors.BugFinding,PublicKey=" +
    "0024000004800000940000000602000000240000525341310004000001000100d7971281941569" +
    "53fd8af100ac5ecaf1d96fab578562b91133663d6ccbf0b313d037a830a20d7af1ce02a6641d71" +
    "d7bc9fd67a08d3fa122120a469158da22a652af4508571ac9b16c6a05d2b3b6d7004ac76be85c3" +
    "ca3d55f6ae823cd287a2810243f2bd6be5f4ba7b016c80da954371e591b10c97b0938f721c7149" +
    "3bc97f9e")]
[assembly: InternalsVisibleTo("Tests.Performance,PublicKey=" +
    "0024000004800000940000000602000000240000525341310004000001000100d7971281941569" +
    "53fd8af100ac5ecaf1d96fab578562b91133663d6ccbf0b313d037a830a20d7af1ce02a6641d71" +
    "d7bc9fd67a08d3fa122120a469158da22a652af4508571ac9b16c6a05d2b3b6d7004ac76be85c3" +
    "ca3d55f6ae823cd287a2810243f2bd6be5f4ba7b016c80da954371e591b10c97b0938f721c7149" +
    "3bc97f9e")]
